241. Sorts and types in artificial intelligence
Author: K.H. Blغasius, U. Hedtstغuck, C.-R. Rollinger, eds.
Library: Vali Asr University Central Library (Kerman)
Subject: Artificial intelligence -- Congresses,Logic, Symbolic and mathematical -- Congresses,Sorting )Electronic computers( -- Congresses,Abstract data types )Computer science( -- Congresses
Classification :
QA
335
.
S6
1996
242. Sorts and types in artificial intelligence : Workshop, Eringerfeld, FRG, April 24-26, 1989 : Proceedings
Author: K. H. Blasius, U. Hedtstuck, C.-R. Rollinger )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
Classification :
QA
76
.
L28
Vol
.
418
243. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
Author: K.H. Blasius, U. Hedtstuck, C.-R. Rollinger, eds
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Sorting )Electronic computers(,Congresses ، Abstract data types )Computer science(
Classification :
Q
334
.
S63
1990
244. Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Sorting )Electronic computers(-- Congresses,، Abstract data types )Computer science(-- Congresses
Classification :
Q
334
.
S632
1990
245. Symbolic Logic and mechanical theorem proving
Author: Chang, Chin-Liang, 7391-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
Classification :
QA
9
.
C53
1987
246. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
Author: edited by Linda C. van der Gaag.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
Q334
.
E358
2013
247. Symbolic logic and intelligent machines . English
Author: Edmund Callis Berkeley
Library: Iranology Foundation Library (Tehran)
Subject: Artificial intelligence,Logic, Symbolic and mathematical
Classification :
QA
76
.
B42
1961
248. Symbolic logic and mechanical theorem proving
Author: Chin-Liang Chang, Richard Char-Tung Lee,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Logic, Symbolic and mathematical,Automatic theorem proving,Artificial intelligence
Classification :
QA
.
C483
9
1987
249. Symbolic logic and mechanical theorem proving
پدیدآورنده : Chang, Chin- Liang
موضوع : ، Logic, Symbolic and mathemaical,، Automatic theorem proving,، Artificial intelligence
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
250. Termination proofs for logic programs
Author: Plumer, Lutz
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic programming,، Artificial intelligence
Classification :
QA
76
.
63
.
P58
1990
251. Termination proofs for logic programs
Author: Plumer, Lutz
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
446
252. Termination proofs for logic programs /
Author: Lutz Plümer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic programming.
Classification :
QA76
.
63
.
P58
1990
253. The Logic of Time :
Author: by J.F.A.K. Benthem.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic.,Philosophy (General)
254. The Logic of Time :
Author: by Johan Benthem.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic.,Philosophy (General)
255. The Ordered Weighted Averaging Operators
Author: edited by Ronald R. Yager, Janusz Kacprzyk.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
256. The Parametric Lambda Calculus :
Author: by Simona Ronchi Della Rocca, Luca Paolini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic design.
Classification :
QA9
.
5
B975
2004
257. The essential Turing
Author: / edited by B. Jack Copeland
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
Classification :
QA7
.
T772
2004
258. The essential Turing
Author: / edited by B. Jack Copeland
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
Classification :
QA7
.
T772
2004
259. The essential Turing
Author: / edited by B. Jack Copeland
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
Classification :
QA7
.
T772
2004
260. The essential Turing
Author: / edited by B. Jack Copeland
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics,Logic, Symbolic and mathematical,Enigma cipher system,Artificial intelligence,Turing, Alan Mathison, 1912-1954
Classification :
QA7
.
T772
2004
